翻訳と辞書 |
strong cardinal : ウィキペディア英語版 | strong cardinal In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal. == Formal definition ==
If λ is any ordinal, κ is λ-strong means that κ is a cardinal number and there exists an elementary embedding ''j'' from the universe ''V'' into a transitive inner model ''M'' with critical point κ and : That is, ''M'' agrees with ''V'' on an initial segment. Then κ is strong means that it is λ-strong for all ordinals λ.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「strong cardinal」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|